Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
61	TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac Add to Reading List Source URL: www.ats.ucla.edu Language: English - Date: 2016-08-17 18:18:26 Software engineering Computer programming Computing Source code Type theory Holism Subroutine University of Cambridge Computer Laboratory Macro Constant Variable HindleyMilner type system
62	35 Documenta Math. On the Image of l-Adic Galois Representations for Abelian Varieties of Type I and II Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-21 15:14:15 Algebra Abstract algebra Mathematics Algebraic number theory Scheme theory Field theory Algebraic geometry Lie algebra Galois module Group scheme Ring Sheaf
63	441 Documenta Math. Rings of Integers of Type K(π, 1) Alexander Schmidt Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2007-12-20 16:37:52 Algebra Abstract algebra Mathematics Homological algebra Algebraic topology Cohomology theories Algebraic geometry Cohomology Serre spectral sequence tale cohomology Cohomological dimension ArtinVerdier duality
64	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing
65	FINAL MANUSCRIPT CHECK LIST As you prepare to submit your manuscript, please go through this list and check-off each item as it is completed. Failure to conform to the format requirements will result in your paper being Add to Reading List Source URL: www.actapress.com Language: English - Date: 2013-10-16 15:08:42 Typography Publishing Public sphere Typographic alignment Language Abstract Bracket HTML element Author citation Academia Italic type Matrix
66	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
67	Building a Successful Scalable Parallel Numerical Library: Lessons From the PETSc Library William D. Gropp www.cs.uiuc.edu/homes/wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Algebra Mathematics Numerical linear algebra Linear algebra Abstract algebra Vectors Portable Extensible Toolkit for Scientific Computation Matrix Bill Gropp Euclidean vector Array data type Linear map
68	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
69	Representation of Continuous Fields Andrej Vckovski University of Ziirich Winterthurerstr. 190, CH-8057 Ziirich, Switzerland vckovski@gis. geogr. imizh. ch Abstract Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:26:47 Computing Knowledge Information technology Fuzzy logic Data management Data Geographic information system Fuzzy set Statistics Set Type-2 fuzzy sets and systems Geospatial metadata
70	Chewing gum moderates the vigilance decrement Morgan, K., Johnson, A. J., & Miles, CBritish Journal of Psychology, 105, Abstract We examine the impact of chewing gum on a Bakan-type vigilance task that Add to Reading List Source URL: eprints.bournemouth.ac.uk Language: English - Date: 2015-10-19 08:40:36 Chewing gum Vigilance Spearmint Mental chronometry Oral literature Vocal music

UPDATE